MCS 441 – Theory of Computation I Spring 2016 Problem Set 1 Lev Reyzin Due: at the beginning of class Instructions: Atop your problem set, please write your name and whether you are an undergraduate or graduate

Source URL: homepages.math.uic.edu

• Finite automata
• Regular language
• Nondeterministic finite automaton

A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un

Source URL: casta.unibe.ch

• Theoretical computer science
• Logic in computer science
• Programming language semantics
• Communications protocol
• Data transmission
• Model theory
• Operational semantics
• Models of computation

IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu  , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a

Source URL: www-verimag.imag.fr

• Software engineering
• Computing
• Models of computation
• Software
• Finite automata
• Finite-state machine
• Transition system
• XC
• Verilog
• Clock
• Presentation
• Specification and Description Language

ABOUT MANUSCRIPTS FOR IJ ITA

Source URL: foibg.com

• Scientific modeling
• Models of computation
• Simulation
• Business process modeling
• Modeling and simulation
• Systems engineering
• Modeling language
• Business process management
• Petri net
• Conceptual model
• Scientific modelling

Pragmatic Enrichment and Non-restrictive Relatives Doug Arnold and Robert D. Borsley University of Essex Language and Computation Day 2008, Essex Terminology

Source URL: www.essex.ac.uk

• Syntax
• Ellipsis
• Grammar
• Sluicing
• Dachshund

Argenter, J. A., & Llisterri, JIntroduction. In Workshop on Language, Cognition and Computation: Lectures. Barcelona, November 25-26, 1993 (p. 9). Barcelona: Institut d’Estudis Catalans - Fundació Catalana p

Source URL: liceu.uab.es

A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University

Source URL: rich.recoil.org

• Recursion
• Computability theory
• Theory of computation
• Subroutines
• Lambda calculus
• Primitive recursive function
• Fold
• Mutual recursion
• Higher-order function
• Type system

Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities,

Source URL: homepages.cwi.nl

• University of Amsterdam
• Mathematical optimization
• Inequalities
• Quantum mechanics
• Institute for Logic
• Language and Computation
• Semidefinite programming
• Grothendieck inequality
• Quantum entanglement

Supporting Information Barrington et alpnasSI Text Related Work on Human Computation Herd It and similar “games with a purpose” (1–6) offer fun and

Source URL: eceweb.ucsd.edu

• Music information retrieval
• Computational linguistics
• Music software
• Music technology
• Artificial intelligence applications
• International Society for Music Information Retrieval
• Automatic image annotation
• Tag
• Information retrieval
• Speech recognition
• Natural language processing
• Computer music

Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2

Source URL: rodin.cs.ncl.ac.uk

• Unified Modeling Language
• Infographics
• Systems Modeling Language
• Diagrams
• Models of computation
• Class diagram
• Michael Butler
• Model checking
• Object Process Methodology
• State diagram
• Activity
• Stereotype